(print abc::def)
